Definition

Define best response function BR(s1,s2,...,sN)=(BR1(s−1),...,BRN(s−N))BR(s_1, s_2, ..., s_N) = (BR_1(s_{-1}),...,BR_N(s_{-N})), BR:S→SBR : S \to S, where S=S1×S2×...×SNS = S_1 \times S_2 \times ... \times S_N.

BRi(s−i)BR_i(s_{-i}) is the set of maximizers of the continuous function ui(⋅,s−i)u_i(\cdot, s_{-i}) on the compact set sis_i. ⟹\implies existence by Weierstrass theorem

Lemma

If the sets S1,...,SNS_1, ..., S_N are nonempty sets, SiS_i, i∈Ni \in N, compact and convex, and ui(⋅)u_i(\cdot) is continuous in (s1,...,sn)(s_1,...,s_n) and concave in si∈Sis_i \in S_i, then BRi(⋅)BR_i(\cdot) (best response function) is nonempty, convex-valued, and u.h.c.

By the lemma, BR(⋅)BR(\cdot) is nonempty, convex-valued, u.h.c.,
Kakutani fixed-point theorem says ∃\exists a fixed point s∈BR(s)⟺si∈BRi(s−i)⟺ui(si,s−i)≥ui(si′,s−i)∀si∈Sis \in BR(s) \iff s_i \in BR_i(s_{-i}) \iff u_i(s_i,s_{-i}) \geq u_i(s_i', s_{-i}) \quad \forall s_i \in S_i.


References

  1. https://web.stanford.edu/~rjohari/teaching/notes/246_lecture7_2007.pdf